大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

A review of topic modeling methods

Topic modeling is a popular analytical tool for evaluating data. Numerous methods of topic modeling have been developed which consider many kinds of relationships and restrictions within datasets; however, these methods are not frequently employed. Instead many researchers gravitate to Latent Dirichlet Analysis, which although flexible and adaptive, is not always suited for modeling more complex data relationships. We present different topic modeling approaches capable of dealing with correlation between topics, the changes of topics over time, as well as the ability to handle short texts such as encountered in social media or sparse text data. We also briefly review the algorithms which are used to optimize and infer parameters in topic modeling, which is essential to producing meaningful results regardless of method. We believe this review will encourage more diversity when performing topic modeling and help determine what topic modeling method best suits the user needs.     

Design principles for the General Data Protection Regulation (GDPR): A formal concept analysis and its evaluation

Data and software are nowadays one and the same: for this very reason, the European Union (EU) and other governments introduce frameworks for data protection — a key example being the General Data Protection Regulation (GDPR). However, GDPR compliance is not straightforward: its text is not written by software or information engineers but rather, by lawyers and policy-makers. As a design aid to information engineers aiming for GDPR compliance, as well as an aid to software users’ understanding of the regulation, this article offers a systematic synthesis and discussion of it, distilled by the mathematical analysis method known as Formal Concept Analysis (FCA). By its principles, GDPR is synthesised as a concept lattice, that is, a formal summary of the regulation, featuring 144372 records — its uses are manifold. For example, the lattice captures so-called attribute implications, the implicit logical relations across the regulation, and their intensity. These results can be used as drivers during systems and services (re-)design, development, operation, or information systems’ refactoring towards more GDPR consistency.     

Etching characteristics of thin SiON films using a liquefied perfluorocarbon precursor of C6F12O with a low global warming potential

Perfluorocarbon gas is widely used in the semiconductor industry. However, perfluorocarbon has a negative effect on the global environment owing to its high global warming potential (GWP) value. An alternative solution is essential. Therefore, we evaluated the possibility of replacing conventional perfluorocarbon etching gases such as CHF₃ with C₆F₁₂O, which has a low GWP and is in a liquid state at room temperature. In this study, silicon oxynitride (SiON) films were plasma-etched using inductively coupled CF₄ +C₆F₁₂O+O₂ mixed plasmas. Subsequently, the etching characteristics of the film, such as etching rate, etching profile, selectivity over Si, and photoresist, were investigated. A double Langmuir probe was used and optical emission spectroscopy was performed for plasma diagnostics. In addition, a contact angle goniometer and x-ray photoelectron spectroscope were used to confirm the change in the surface properties of the etched SiON film surface. Consequently, the etching characteristics of the C₆F₁₂O mixed plasma exhibited a lower etching rate, higher SiON/Si selectivity, lower plasma damage, and more vertical etched profiles than the conventional CHF₃ mixed plasma. In addition, the C₆F₁₂O gas can be recovered in the liquid state, thereby decreasing global warming. These results confirmed that the C₆F₁₂O precursor can sufficiently replace the conventional etching gas.     

基于差频检测技术的高速AD单粒子翻转评估方法研究

本文基于差频检测的原理，提出一种在高频动态输入模式下，对高速高精度模数转换器（AD）的抗单粒子翻转效应进行评估的测试方法，并以一款8位3 GSPS高速AD为测试对象，设计开发了一套高速AD单粒子翻转效应测试系统，对目标器件进行了重离子试验。通过对试验结果的图像和错误数据进行分析，评估参试器件的抗辐照性能参数，为抗辐照高速高精度AD的加固设计提供数据支撑。     

A study on the monitoring model development for quality measurement of internet traffic

The recent trend of integration among new network services such as the long-term evolution (LTE) based on internet protocol (IP) needs reputable analyses and prediction information on the internet traffic. The IP along with increased internet traffics due to expanding new service platforms such as smartphones will reflect policies such as network QoS according to new services. The establishment of monitoring methods and analysis plans is thus required for the development of internet traffics that will analyze their status and predict their future. The paper with the speed of Internet traffic model is developed for monitoring the state of the experiment and verified. The problem is that the proposed service Internet service provider (ISP) to resolve the conflict between the occurrences can be considerably Internet traffic and that the state of data may be helpful in understanding. The paper advancement policy to reflect the network traffic volume of Internet services and users irradiation with increased traffic due to the development and management of the analysis was carried out experimental measurements.     

Analysis of adhesively bonded CFRE composite scarf joints modified with MWCNTs

The main objective of the present work is to improve the performance of bonded joints in carbon fiber composite structures through introducing Multi-Walled Carbon Nanotubes (MWCNTs) into Epocast 50-A1/946 epoxy, which was primarily developed for joining and repairing of composite aircraft structures. Results from tension characterizations of structural adhesive joints (SAJs) with different scarf angles (5–45°) showed improvement up to 40% compared to neat epoxy (NE)–SAJs. Special attention was considered to investigate the performance of SAJs with 5° scarf angle under different environments. The tensile strength and stiffness of both NE-SAJs and MWCNT/E-SAJs were dramatically decreased at elevated temperature. Water absorption showed a marginal drop of about 2.0% in the tensile strength of the moist SAJs compared to the dry one. Cracks initiation and propagation were detected effectively using instrumented-SAJs with eight strain gauges. The experimental results agree well with the predicted using three-dimensional finite element analysis model.     

Stochastic free vibration analyses of composite shallow doubly curved shells – A Kriging model approach

This paper presents the Kriging model approach for stochastic free vibration analysis of composite shallow doubly curved shells. The finite element formulation is carried out considering rotary inertia and transverse shear deformation based on Mindlin’s theory. The stochastic natural frequencies are expressed in terms of Kriging surrogate models. The influence of random variation of different input parameters on the output natural frequencies is addressed. The sampling size and computational cost is reduced by employing the present method compared to direct Monte Carlo simulation. The convergence studies and error analysis are carried out to ensure the accuracy of present approach. The stochastic mode shapes and frequency response function are also depicted for a typical laminate configuration. Statistical analysis is presented to illustrate the results using Kriging model and its performance.     

Digital Microfluidics for Manipulation and Analysis of a Single Cell

The basic structural and functional unit of a living organism is a single cell. To understand the variability and to improve the biomedical requirement of a single cell, its analysis has become a key technique in biological and biomedical research. With a physical boundary of microchannels and microstructures, single cells are efficiently captured and analyzed, whereas electric forces sort and position single cells. Various microfluidic techniques have been exploited to manipulate single cells through hydrodynamic and electric forces. Digital microfluidics (DMF), the manipulation of individual droplets holding minute reagents and cells of interest by electric forces, has received more attention recently. Because of ease of fabrication, compactness and prospective automation, DMF has become a powerful approach for biological application. We review recent developments of various microfluidic chips for analysis of a single cell and for efficient genetic screening. In addition, perspectives to develop analysis of single cells based on DMF and emerging functionality with high throughput are discussed.     

A new numerical algorithm to check the observability and bad-data processing ability of the metering scheme

This paper provides a unified approach for the optimization of measurements placements employed for power system online monitoring through state estimation. The proposed methodology, which can be suitable for the mixed measure system, preserves state estimation observability and bad-data processing capability by employing numerical algorithms for observability checking, critical measurements and critical couple identification. First, node injection radix measurements and measurement categories are defined. According to the above definitions, the coefficient matrix can be solved. The analysis on the column vectors of the coefficient matrix can determine each measurement classification. Furthermore, the numbers of each measurement class contains can determine bad-data processing capability. The observability can be checked by the type number of measurements. The proposed method is illustrated with the IEEE39-bus system and the IEEE118-bus system. Results from the case studies are presented to demonstrate that the approach adequately fulfills the desired properties related to observability, bad-data processing, cost, and robustness.